Internet mapping tools make scientific applications easy

2ATAs make DLs easy

Trust Management Tools for Internet Applications

Trust management has received a lot of attention recently as it is an important component of decision making for electronic commerce, Internet interactions and electronic contract negotiation. However, appropriate tools are needed to effectively specify and manage trust relationships. They should facilitate the analysis of trust specification for conflicts and should enable information on risk ...

Tools for mapping applications to CCMs

We report on our ongoing work in the development of automated CCM mapping and scheduling tools. We seek e cient methods to assign a high-level computational description across the processing elements of a target CCM. Such an assignment requires both a partitioning in space (the task map) and a partitioning in time (the execution schedule). We embrace a number of algorithmic design techniques, s...

It Won’t Be Easy: How to Make Universal Pharmacare Work in Canada

One of the glaring gaps in Canada’s universal healthcare system is the low level of public financing of prescription drugs - 42.7% of total spending in 2018. At the federal level there is renewed interest in moving towards universal coverage, supported by a recently commissioned report on how to achieve it. It will take superb political navigation to extract Canadian ph...

Tree Automata Make Ordinal Theory Easy

We give a new simple proof of the decidability of the First Order Theory of (ω i ,+) and the Monadic Second Order Theory of (ω, <), improving the complexity in both cases. Our algorithm is based on tree automata and a new representation of (sets of) ordinals by (infinite) trees.